Synthesizing Communication Processors from Timing Diagram Specifications
نویسندگان
چکیده
منابع مشابه
Automatic Synthesis of Timed Protocol Specifications from Service Specifications
Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. In real time applications, the time required to execute the events can be crucial and has to be considered. Some of the protocol synthesis methods do not consider timing constraints and, therefore, cannot be used in real time applications. In this paper, the assignment...
متن کاملA Software Tool for Generating UML Concurrent Communication Protocol Specification from Service Specification
Manually synthesizing specifications for concurrent and distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states is a time consuming and labor-intensive task. To save a time and generate error free specifications for distributed protocol entities modeled in UML state machines, we introduce a tool, called the UML pr...
متن کاملExtended distributed UML-based protocol synthesis method
Synthesizing specifications for real time applications that involve distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states, is a time-consuming and labor-intensive task. Existing synthesis techniques for UML-based service specifications do not account for timing constrains and, therefore, cannot be used in real t...
متن کاملAn Embedded Core for Sub-Picosecond Timing Measurements
The continued market demand for GHz processors and high-capacity communication systems results in an increasing number of low-cost high volume ICs with multi-GHz clocks and/or multi-Gb/s serial communication interfaces. For such devices, timing specifications, e.g., jitter and skew, in the range of few picoseconds (RMS and/or p-p) are common. We describe an embedded core that allows such measur...
متن کاملA Behavioral Design Flow for Synthesis and Optimization of Asynchronous Systems
JOHN B. HANSEN: A Behavioral Design Flow for Synthesis and Optimization of Asynchronous Systems. (Under the direction of Montek Singh.) Asynchronous or clockless design is believed to hold the promise of alleviating many of the challenges currently facing microelectronic design. Distributing a high-speed clock signal across an entire chip is an increasing challenge, particularly as the number o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007